Trees that Grow
tree f = f tree_item f
型族fを取り替えることで木構造を自在に拡張できる
型族が開いていないといけない
この方法だと OCaml では書けない